d4ed99f58132e83eac57c23a8826ae5dc6ba676e,src/main/java/org/basex/BaseXHTTP.java,BaseXHTTP,BaseXHTTP,#String#,57
Before Change
// stop server
if(stopped) {
stop();
Util.outln(HTTP + ' ' + SRV_STOPPED_PORT_X, httpPort);
// temporary console windows: keep the message visible for a while
Performance.sleep(1000);
return;
After Change
// stop server
if(stopped) {
stop();
for(final Connector c : jetty.getConnectors())
Util.outln(HTTP + ' ' + SRV_STOPPED_PORT_X, c.getPort());
// temporary console windows: keep the message visible for a while
Performance.sleep(1000);
return;